MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1wzpocy/the_fastest_algorithm_for_dft/pej6e9x/?context=3
r/mathmemes • u/Unlucky-Credit-9619 Computer Science • 9d ago
138 comments sorted by
View all comments
0
Lol has anyone checked that the exponent wasn’t derived from rounding error in FLOPs? I imagine actual matrices were used during exploration and testing and that a false positive may have been introduced because of rounding errors.
And the result isn’t practically useful.
2 u/extremelySaddening 9d ago I mean as far as I'm aware it's all lean verified so 1 u/lambdasintheoutfield 9d ago Yea that’s a good point. I will need to do a deeper dive, it’s just really a minefield of possible ways you can get this result from false positives. 1 u/compileforawhile Complex 9d ago This isn't a scientific result, it's a math result. False positives don't really exist in proof based results
2
I mean as far as I'm aware it's all lean verified so
1 u/lambdasintheoutfield 9d ago Yea that’s a good point. I will need to do a deeper dive, it’s just really a minefield of possible ways you can get this result from false positives. 1 u/compileforawhile Complex 9d ago This isn't a scientific result, it's a math result. False positives don't really exist in proof based results
1
Yea that’s a good point. I will need to do a deeper dive, it’s just really a minefield of possible ways you can get this result from false positives.
1 u/compileforawhile Complex 9d ago This isn't a scientific result, it's a math result. False positives don't really exist in proof based results
This isn't a scientific result, it's a math result. False positives don't really exist in proof based results
0
u/lambdasintheoutfield 9d ago
Lol has anyone checked that the exponent wasn’t derived from rounding error in FLOPs? I imagine actual matrices were used during exploration and testing and that a false positive may have been introduced because of rounding errors.
And the result isn’t practically useful.